Chalmers University of Technology - PDFSEARCH.IO - Document Search Engine

Chalmers University of Technology
Results: 255

#	Item
151	Short CV of Johan NilssonMSc in in Radio and Space Science from Chalmers University of Technology. Thesis: Multipath mitigation of Carrier-phase GPS position estimates from Helheim glacier: Using new reduced side Add to Reading List Source URL: ncoe-svali.org - Date: 2012-08-14 05:27:32
152	CHALMERS UNIVERSITY OF TECHNOLOGY Department of Fundamental Physics Christoffer Petersson Exercise Classes Gravitation and Cosmology Add to Reading List Source URL: fy.chalmers.se Language: English - Date: 2007-10-18 03:03:17 Exact solutions in general relativity Curvature Differential geometry Time Riemannian geometry Schwarzschild metric Proper time Metric tensor Friedmann–Lemaître–Robertson–Walker metric Physics Geometry Theoretical physics
153	Stochastic Transparency Eric Enderton NVIDIA Erik Sintorn Chalmers University of Technology Add to Reading List Source URL: luebke.us Language: English - Date: 2013-07-14 12:11:29 Image processing Shading Virtual reality Spatial anti-aliasing Deferred shading Shader Transparency Pixel Rendering Computer graphics 3D computer graphics Computing
154	The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:24:41 Sequent Intuitionistic logic Method of analytic tableaux Monotonicity of entailment Proof calculus Rule of inference Proof procedure Modal logic Natural deduction Logic Mathematical logic Proof theory
155	Personal Tracking as Lived Informatics John Rooksby, Mattias Rost, Alistair Morrison, Matthew Chalmers School of Computing Science, University of Glasgow, UK. {john.rooksby, mattias.rost, alistair.morrison, matthew.chalm Add to Reading List Source URL: www.johnrooksby.org Language: English - Date: 2014-01-21 17:04:18 Aviation Fitbit Tracking BitTorrent tracker Pedometer Tracker MOD GPS tracking unit Eye tracking Technology Wireless BitTorrent
156	First-Order Theorem Proving and VAMPIRE? Laura Kov´acs1 and Andrei Voronkov2 1 Chalmers University of Technology 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-05-02 16:51:41 Logical syntax Automated theorem proving Formal languages Formal methods Vampire Resolution Conjunctive normal form E theorem prover First-order logic Logic Mathematics Mathematical logic
157	SETTING THE STAGE FOR SELF-DRIVING CARS: Exploration of future autonomous driving experiences Ingrid Pettersson Chalmers University of Technology, Design & Human Factors and Volvo Car Corporation Add to Reading List Source URL: conference2014.humanist-vce.eu Language: English - Date: 2015-01-14 10:10:51 Participatory design Ergonomics Automobile Human factors Robot Transport Psychology Systems psychology Design Structure
158	the neW Wealth oF nations P Ro g R A m Ta b l e o f C o n t e n t s Welcome to CIP FORUM 2011. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Add to Reading List Source URL: www.gertballing.dk Language: English - Date: 2012-06-16 01:59:46 Academia Education in Sweden Chalmers School of Entrepreneurship Gothenburg International Bioscience Business School School of Business Economics and Law Keith Bergelt Science and Technology Policy Research Agreement on Trade-Related Aspects of Intellectual Property Rights Center for Intellectual Property Studies University of Gothenburg Chalmers University of Technology Gothenburg
159	Online Temporal-Spatial Analysis for Detection of Critical Events in Cyber-Physical Systems Zhang Fu, Magnus Almgren, Olaf Landsiedel, Marina Papatriantafilou Chalmers University of Technology. Email:{zhafu,magnus.almgre Add to Reading List Source URL: www.syssec-project.eu Language: English - Date: 2014-11-07 13:41:20 Multivariate statistics Cluster analysis Data mining Machine learning Hierarchical clustering Data stream clustering K-means clustering BIRCH Spatial analysis Statistics Data analysis Geostatistics
160	PFBA: a probabilistic model applied to genetic regulation of metabolic networks Garcia-Albornoz, Manuel; Wilsson, Joel; Jethava, Vinay; Dubhashi, Devdatt; and Nookaew, Intawat Chalmers University of Technology, Göteborg Add to Reading List Source URL: ws9.websitepanelonline.com Language: English - Date: 2014-09-08 00:30:34 Molecular genetics Transcription factors Mathematical and theoretical biology Gene expression profiling Regulation of gene expression Bioinformatics Saccharomyces cerevisiae Cis-regulatory module Gene regulatory network Biology Gene expression DNA

UPDATE